Automated Test Case Generation from Dynamic Models
نویسندگان
چکیده
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including preand postconditions. The resulting state charts can have transitions with conditions and actions, as well as nested states (sub and stub states). The current paper outlines how test suites with a given coverage level can be automatically generated from these state charts. We do so by mapping state chart elements to the STRIPS planning language. The application of the state of the art planning tool graphplan yields the different test cases as solutions to a planning problem. The test cases (sequences of messages plus test data) can be used for automated or manual software testing on system level.
منابع مشابه
E2E Testing and Evaluation of High Assurance Systems
DoD E2E Testing and Evaluation (T&E) technology for high assurance system has evolved from specification and analysis of thin threads, through system scenarios, and to the scenario-driven system engineering including reliability, security, and safety assurance, as well as dynamic verification and validation. Currently, E2E T&E technology is entering the fourth generation and being applied to th...
متن کاملBehavior based Automated Test Case Generation for Object Oriented Systems
An innovative approach of generating test cases from the combination of UML design diagrams has been discussed in this paper. Present work used an approach where petal files of class diagram, sequence diagram and state chart diagram has been used to generate test cases. The test cases thus generated are suitable for static and dynamic testing of system. General Terms Test case generation from U...
متن کاملGenerating Test Data from OCL Speci cation
A number of research focus on test cases and their generation from dynamic models. In this paper we propose an approach for generating test data for these tests, that we derive from formal constraints expressed in a static model. We show how the partition analysis of individual methods of classes can be automated, and how a valid sequence of a given method's class can be constructed. The partit...
متن کاملAutomated Test Case Generation for Industrial Control Applications
The need for increasing flexibility of industrial automation system products leads to the trend of shifting functional behavior from hardware solutions to software components. This trend causes an increasing complexity of software components and the need for comprehensive and automated testing approaches to ensure a required (high) quality level. Nevertheless, key tasks in software testing incl...
متن کاملAutomated Test Case Generation using Petri Nets
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifi...
متن کاملAutomatic Test Case Generation from UML Models and OCL Expressions
In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.
متن کامل